CLAUSAL ARGUMENTS IN IRISH

Verbs Taking Clausal and Non-Finite Arguments as Signals of Modality - Revisiting the Issue of Meaning Grounded in Syntax

We revisit Levin’s theory about the correspondence of verb meaning and syntax and infer semantic classes from a large syntactic classification of more than 600 German verbs taking clausal and non-finite arguments. Grasping the meaning components of Levin-classes is known to be hard. We address this challenge by setting up a multi-perspective semantic characterization of the inferred classes. To...

A Combination of Clausal and Non Clausal Temporal Logic Programs

We have developped Tokio interpreter[5] for rst order Inteval Temporal Logic[11] and an automatic theorem prover [6, 7] for Propositional Interval Temporal Logic. The veri er features deterministic tableau expansion and binary decision tree representation of subterms. Combining these, we can avoid repeated similar clausal form time constraints, and it is possible to execute wider range of speci...

Rewrite Methods for Clausal and Non-Clausal Theorem Proving

Effective theorem provers are essential for automatic verification and generation of programs. The conventional resolution strategies, albeit complete, are inefficient. On the other hand, special purpose methods, such as term rewriting systems for solving word problems, are relatively efficient but applicable to only limited classes of problems. In this paper, a simple canonical set of rewrite ...

Varieties of Clausal Complementation

This thesis argues that clausal arguments of mental-state predicates divide into two main types: those that express the content, or "subject matter" of the mental state, and those that express the cause of the mental state. My central theoretical claim is that this dichotomy corresponds to a difference in syntactic structure. I propose that these different structures derive from an operation of...

Clausal Complementation and Selection